Small natural transformation example